<?xml version="1.0" encoding="UTF-8"?>
<model modelUID="r:3ecbef0f-e183-4c60-a518-90b0ea359498(spbsu.silina.grammarPropertiesLanguage.editor)">
  <persistence version="3" />
  <refactoringHistory />
  <language namespace="18bc6592-03a6-4e29-a83a-7ff23bde13ba(jetbrains.mps.lang.editor)" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" version="1" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c8959028c(jetbrains.mps.lang.structure.constraints)" version="11" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590338(jetbrains.mps.baseLanguage.closures.structure)" version="1" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590334(jetbrains.mps.baseLanguage.closures.constraints)" version="2" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895903fe(jetbrains.mps.baseLanguage.strings.constraints)" version="1" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902bc(jetbrains.mps.lang.sharedConcepts.structure)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902fb(jetbrains.mps.lang.smodel.constraints)" version="21" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590298(jetbrains.mps.lang.editor.constraints)" version="21" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c8959029e(jetbrains.mps.lang.editor.structure)" version="29" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590301(jetbrains.mps.lang.smodel.structure)" version="16" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902db(jetbrains.mps.baseLanguage.blTypes.constraints)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902ba(jetbrains.mps.lang.sharedConcepts.constraints)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902c1(jetbrains.mps.baseLanguage.constraints)" version="83" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590283(jetbrains.mps.lang.core.constraints)" version="2" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590402(jetbrains.mps.baseLanguage.strings.structure)" version="9" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c8959033d(jetbrains.mps.lang.annotations.structure)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590328(jetbrains.mps.baseLanguage.collections.constraints)" version="6" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c8959032e(jetbrains.mps.baseLanguage.collections.structure)" version="4" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902ae(jetbrains.mps.lang.typesystem.constraints)" version="17" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c8959034b(jetbrains.mps.lang.quotation.structure)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590340(jetbrains.mps.lang.pattern.constraints)" version="2" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902b4(jetbrains.mps.lang.typesystem.structure)" version="0" />
  <languageAspect modelUID="r:90a758ef-89a0-4ded-bad9-7ed91558f8ef(spbsu.silina.grammarPropertiesLanguage.structure)" version="2" />
  <devkit namespace="2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)" />
  <maxImportIndex value="2" />
  <import index="1" modelUID="r:90a758ef-89a0-4ded-bad9-7ed91558f8ef(spbsu.silina.grammarPropertiesLanguage.structure)" version="2" />
  <import index="2" modelUID="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" version="0" />
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232299490853">
    <link role="conceptDeclaration" targetNodeId="1.1232299400568" resolveInfo="RuleSet" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1232299543769">
      <property name="vertical" value="true" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1232299691274">
        <property name="vertical" value="false" />
        <node role="styleItem" type="jetbrains.mps.lang.editor.structure.SelectableStyleSheetItem" id="1232299691275">
          <property name="flag" value="false" />
        </node>
        <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1232299698042">
          <property name="text" value="ruleset" />
        </node>
        <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1232363625549">
          <property name="noTargetText" value="&lt;name&gt;" />
          <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1232367218245" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNodeList" id="1232366937731">
        <property name="vertical" value="true" />
        <link role="relationDeclaration" targetNodeId="1.1232299443827" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232300010196">
    <property name="package" value="operations" />
    <link role="conceptDeclaration" targetNodeId="1.1232298925053" resolveInfo="Disjunction" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1232379506454">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1232379506455">
        <link role="relationDeclaration" targetNodeId="1.1232379409280" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1232379506456">
        <property name="text" value="|" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1232379506457">
        <link role="relationDeclaration" targetNodeId="1.1232379409281" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232362853974">
    <property name="package" value="derivations" />
    <link role="conceptDeclaration" targetNodeId="1.1232362653980" resolveInfo="LeftmostDerivation" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1232535824467">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1232535824468">
        <link role="relationDeclaration" targetNodeId="1.1232534952989" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1232535824469">
          <link role="conceptDeclaration" targetNodeId="1.1232297361306" resolveInfo="NonTerminal" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1232535824470">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1232535824471">
        <property name="text" value="leftmostly derives" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235249168522">
        <link role="relationDeclaration" targetNodeId="1.1235248897289" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232363237983">
    <property name="package" value="operations" />
    <link role="conceptDeclaration" targetNodeId="1.1232285571505" resolveInfo="Conjunction" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1232379439901">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1232379445675">
        <link role="relationDeclaration" targetNodeId="1.1232379409280" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1232379464025">
        <property name="text" value="&amp;" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1232379474387">
        <link role="relationDeclaration" targetNodeId="1.1232379409281" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232367536779">
    <property name="package" value="variables" />
    <link role="conceptDeclaration" targetNodeId="1.1232301037610" resolveInfo="Variable" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Error" id="1232375017999">
      <property name="text" value="&lt;variable&gt;" />
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232375083259">
    <property name="package" value="variables" />
    <link role="conceptDeclaration" targetNodeId="1.1232297194437" resolveInfo="Terminal" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1232375095377">
      <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232375101545">
    <property name="package" value="variables" />
    <link role="conceptDeclaration" targetNodeId="1.1232297361306" resolveInfo="NonTerminal" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1232375108911">
      <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232378372162">
    <link role="conceptDeclaration" targetNodeId="1.1232378340245" resolveInfo="True" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1232378380220">
      <property name="text" value="true" />
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232378578052">
    <property name="package" value="operations" />
    <link role="conceptDeclaration" targetNodeId="1.1232378490924" resolveInfo="Negotiation" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1232378586218">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1232378591974">
        <property name="text" value="not (" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1232378600586">
        <link role="relationDeclaration" targetNodeId="1.1232378557557" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235327446910">
        <property name="text" value=")" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1232379319921">
    <property name="package" value="operations" />
    <link role="conceptDeclaration" targetNodeId="1.1232379057710" resolveInfo="Implication" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1232379330065">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1232379531421">
        <link role="relationDeclaration" targetNodeId="1.1232379409280" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1232379347809">
        <property name="text" value="=&gt;" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1232379540382">
        <link role="relationDeclaration" targetNodeId="1.1232379409281" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1233233975823">
    <link role="conceptDeclaration" targetNodeId="1.1232283326360" resolveInfo="Formula" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Error" id="1233233994798">
      <property name="text" value="&lt;formula&gt;" />
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235220261227">
    <property name="package" value="variables" />
    <link role="conceptDeclaration" targetNodeId="1.1233232259885" resolveInfo="Production" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235220275024">
      <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235244177139">
    <property name="package" value="set_operations" />
    <link role="conceptDeclaration" targetNodeId="1.1235244051190" resolveInfo="Union" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235244186079">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235244215822">
        <link role="relationDeclaration" targetNodeId="1.1235244136417" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235244265525">
        <property name="text" value="U" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235244292728">
        <link role="relationDeclaration" targetNodeId="1.1235244149227" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235244474095">
    <property name="package" value="set_operations" />
    <link role="conceptDeclaration" targetNodeId="1.1235244435474" resolveInfo="Complement" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235244484013">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235244514231">
        <link role="relationDeclaration" targetNodeId="1.1235244136417" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235244523916">
        <property name="text" value="/" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235244542657">
        <link role="relationDeclaration" targetNodeId="1.1235244149227" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235244593686">
    <property name="package" value="set_operations" />
    <link role="conceptDeclaration" targetNodeId="1.1235244308707" resolveInfo="Intersection" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235244602827">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235244607759">
        <link role="relationDeclaration" targetNodeId="1.1235244136417" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235244657901">
        <property name="text" value="^" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235244675350">
        <link role="relationDeclaration" targetNodeId="1.1235244149227" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235247662067">
    <property name="package" value="quantifications" />
    <link role="conceptDeclaration" targetNodeId="1.1235247556521" resolveInfo="NonTerminalExists" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235247671161">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235247683448">
        <property name="text" value="exists" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235247695107">
        <link role="relationDeclaration" targetNodeId="1.1235247845068" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235247772498">
        <property name="text" value=":" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235247705803">
        <link role="relationDeclaration" targetNodeId="1.1232301498571" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235247957444">
    <property name="package" value="quantifications" />
    <link role="conceptDeclaration" targetNodeId="1.1235247788836" resolveInfo="NonTerminalForAll" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235247963742">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235247975769">
        <property name="text" value="for all" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235247970373">
        <link role="relationDeclaration" targetNodeId="1.1235247845068" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235247990267">
        <property name="text" value=":" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235247994651">
        <link role="relationDeclaration" targetNodeId="1.1232301498571" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235248218190">
    <property name="package" value="quantifications" />
    <link role="conceptDeclaration" targetNodeId="1.1235248005838" resolveInfo="ProductionExists" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235248226413">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235248257986">
        <property name="text" value="exists" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235248252934">
        <link role="relationDeclaration" targetNodeId="1.1235248021642" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235326774674">
        <property name="text" value="describing" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235326816935">
        <link role="relationDeclaration" targetNodeId="1.1235326675813" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235326816936">
          <link role="conceptDeclaration" targetNodeId="1.1232297361306" resolveInfo="NonTerminal" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235326819893">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235248268796">
        <property name="text" value=":" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235248273978">
        <link role="relationDeclaration" targetNodeId="1.1232301498571" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235248325454">
    <property name="package" value="quantifications" />
    <link role="conceptDeclaration" targetNodeId="1.1235248286890" resolveInfo="ProductionForAll" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235248331846">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235248336462">
        <property name="text" value="for all" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235248347757">
        <link role="relationDeclaration" targetNodeId="1.1235248021642" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235326891770">
        <property name="text" value="describing" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235326907247">
        <link role="relationDeclaration" targetNodeId="1.1235326675813" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235326907248">
          <link role="conceptDeclaration" targetNodeId="1.1232297361306" resolveInfo="NonTerminal" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235326909417">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235248357972">
        <property name="text" value=":" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235248363289">
        <link role="relationDeclaration" targetNodeId="1.1232301498571" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235248452940">
    <property name="package" value="quantifications" />
    <link role="conceptDeclaration" targetNodeId="1.1235248381509" resolveInfo="TerminalExists" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235248456917">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235248468589">
        <property name="text" value="exists" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235248462212">
        <link role="relationDeclaration" targetNodeId="1.1235248414813" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235248479397">
        <property name="text" value=":" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235248484789">
        <link role="relationDeclaration" targetNodeId="1.1232301498571" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235248537020">
    <property name="package" value="quantifications" />
    <link role="conceptDeclaration" targetNodeId="1.1235248491978" resolveInfo="TerminalForAll" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235248543719">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235248551555">
        <property name="text" value="for all" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235248562844">
        <link role="relationDeclaration" targetNodeId="1.1235248414813" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235248568334">
        <property name="text" value=":" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235248573446">
        <link role="relationDeclaration" targetNodeId="1.1232301498571" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235249274787">
    <property name="package" value="derivations" />
    <link role="conceptDeclaration" targetNodeId="1.1235249204413" resolveInfo="RightmostDerivation" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235249291632">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235249291633">
        <link role="relationDeclaration" targetNodeId="1.1232534952989" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235249291634">
          <link role="conceptDeclaration" targetNodeId="1.1232297361306" resolveInfo="NonTerminal" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235249291635">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235249291636">
        <property name="text" value="rightmostly derives" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235249291637">
        <link role="relationDeclaration" targetNodeId="1.1235248897289" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235320829381">
    <property name="package" value="firstlast" />
    <link role="conceptDeclaration" targetNodeId="1.1235320807374" resolveInfo="First" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235320840633">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235320845929">
        <property name="text" value="first(" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235327596804">
        <link role="relationDeclaration" targetNodeId="1.1235327563081" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235327596805">
          <link role="conceptDeclaration" targetNodeId="1.1232301037610" resolveInfo="Variable" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235327600321">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235320893570">
        <property name="text" value=")" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235320965720">
    <property name="package" value="firstlast" />
    <link role="conceptDeclaration" targetNodeId="1.1235320905030" resolveInfo="FirstWithNonTerminals" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235320971743">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235320976660">
        <property name="text" value="firstn(" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235327610166">
        <link role="relationDeclaration" targetNodeId="1.1235327563081" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235327610167">
          <link role="conceptDeclaration" targetNodeId="1.1232301037610" resolveInfo="Variable" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235327612441">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235320991591">
        <property name="text" value=")" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235321045647">
    <property name="package" value="firstlast" />
    <link role="conceptDeclaration" targetNodeId="1.1235321008443" resolveInfo="Last" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235321051490">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235321057525">
        <property name="text" value="last(" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235327648869">
        <link role="relationDeclaration" targetNodeId="1.1235327563081" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235327648870">
          <link role="conceptDeclaration" targetNodeId="1.1232301037610" resolveInfo="Variable" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235327650968">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235321075017">
        <property name="text" value=")" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235321323201">
    <property name="package" value="firstlast" />
    <link role="conceptDeclaration" targetNodeId="1.1235321199500" resolveInfo="LastWithNonTerminals" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235321331416">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235321334892">
        <property name="text" value="lastn(" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235327628063">
        <link role="relationDeclaration" targetNodeId="1.1235327563081" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235327628064">
          <link role="conceptDeclaration" targetNodeId="1.1232301037610" resolveInfo="Variable" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235327632090">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235321351951">
        <property name="text" value=")" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235321761196">
    <link role="conceptDeclaration" targetNodeId="1.1235321386655" resolveInfo="ProductionMatchesRegexp" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235321772329">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235321784100">
        <link role="relationDeclaration" targetNodeId="1.1235321685739" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235321784101">
          <link role="conceptDeclaration" targetNodeId="1.1233232259885" resolveInfo="Production" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235321791948">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235321946619">
        <property name="text" value="matches" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235321955257">
        <link role="relationDeclaration" targetNodeId="1.1235321703848" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235322954051">
    <link role="conceptDeclaration" targetNodeId="1.1235322790021" resolveInfo="SetContainsVariable" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235322959221">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235323550679">
        <link role="relationDeclaration" targetNodeId="1.1235323433235" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235323016102">
        <property name="text" value="contains" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235323025613">
        <link role="relationDeclaration" targetNodeId="1.1235322908360" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235323025614">
          <link role="conceptDeclaration" targetNodeId="1.1232301037610" resolveInfo="Variable" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235323029714">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235324284966">
    <property name="package" value="regexp" />
    <link role="conceptDeclaration" targetNodeId="1.1235324239891" resolveInfo="Alternative" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235324296404">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235324303861">
        <property name="text" value="(" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNodeList" id="1235324335910">
        <property name="separatorText" value="|" />
        <link role="relationDeclaration" targetNodeId="1.1235324263295" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235324319100">
        <property name="text" value=")" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235324475150">
    <property name="package" value="regexp" />
    <link role="conceptDeclaration" targetNodeId="1.1235324366564" resolveInfo="VariableReference" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235328479982">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235324560340">
        <link role="relationDeclaration" targetNodeId="1.1235324531118" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235324560341">
          <link role="conceptDeclaration" targetNodeId="1.1235322128696" resolveInfo="Symbol" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235324564242">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235324649350">
    <property name="package" value="regexp" />
    <link role="conceptDeclaration" targetNodeId="1.1235323985334" resolveInfo="RegexpIteration" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235324659159">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235324665738">
        <property name="text" value="(" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235324674667">
        <link role="relationDeclaration" targetNodeId="1.1235324025293" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235324679832">
        <property name="text" value=")" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235324691148">
        <link role="relationDeclaration" targetNodeId="1.1235324625290" resolveInfo="cardinality" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235325041494">
    <property name="package" value="regexp" />
    <link role="conceptDeclaration" targetNodeId="1.1235325017337" resolveInfo="RegexpDot" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235325049421">
      <property name="text" value="." />
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235325143012">
    <property name="package" value="regexp" />
    <link role="conceptDeclaration" targetNodeId="1.1235325067426" resolveInfo="RegexpSequence" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNodeList" id="1235325147479">
      <link role="relationDeclaration" targetNodeId="1.1235325110797" />
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235325293042">
    <link role="conceptDeclaration" targetNodeId="1.1235325252524" resolveInfo="SetIsEmpty" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235325298604">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefNode" id="1235325301440">
        <link role="relationDeclaration" targetNodeId="1.1235325272837" />
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235325305303">
        <property name="text" value="is empty" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235325394934">
    <link role="conceptDeclaration" targetNodeId="1.1235325341274" resolveInfo="ProductionIsEpsilon" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235325400630">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235325404223">
        <link role="relationDeclaration" targetNodeId="1.1235325367101" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235325404224">
          <link role="conceptDeclaration" targetNodeId="1.1233232259885" resolveInfo="Production" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235325407546">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235325413208">
        <property name="text" value="is e-producton" />
      </node>
    </node>
  </node>
  <node type="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" id="1235325604650">
    <link role="conceptDeclaration" targetNodeId="1.1235325489919" resolveInfo="NonTerminalIsStart" />
    <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Collection" id="1235325611538">
      <property name="vertical" value="false" />
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_RefCell" id="1235325614821">
        <link role="relationDeclaration" targetNodeId="1.1235325587283" />
        <node role="editorComponent" type="jetbrains.mps.lang.editor.structure.InlineEditorComponent" id="1235325614822">
          <link role="conceptDeclaration" targetNodeId="1.1232297361306" resolveInfo="NonTerminal" />
          <node role="cellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Property" id="1235325617360">
            <property name="readOnly" value="true" />
            <link role="relationDeclaration" targetNodeId="2.1169194664001" resolveInfo="name" />
          </node>
        </node>
      </node>
      <node role="childCellModel" type="jetbrains.mps.lang.editor.structure.CellModel_Constant" id="1235325632256">
        <property name="text" value="is start" />
      </node>
    </node>
  </node>
</model>

